🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔬 Logic in Computer Science
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org
·
15h
🔗
Graph Isomorphism
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A Manifesto for the Programming Desperado
github.com
·
3h
·
Discuss:
Hacker News
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Cactus Language • Semantics 3
inquiryintoinquiry.com
·
3h
🔢
Denotational Semantics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Three ways formally verified code can go wrong in practice
buttondown.com
·
1h
📜
Proof Carrying Code
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Categorical systems theory
topos.institute
·
7h
🔀
Category Theory
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
AI Renaissance: Bridging the Gap Between Intuition and Logic
dev.to
·
9h
·
Discuss:
DEV
🤖
Paleographic AI
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Experimenting with ACL2 and Claude Code
mikedodds.org
·
6h
·
Discuss:
Hacker News
👑
Isabelle
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Programmable proteins use logic to improve targeted drug delivery
phys.org
·
1d
🧮
Algorithmic Cooking
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Let's Write a Macro in Rust
hackeryarn.com
·
3h
·
Discuss:
Hacker News
🦀
Rust Macros
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
An enough week
blog.mitrichev.ch
·
23h
·
Discuss:
blog.mitrichev.ch
📈
Linear programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com
·
9h
💎
Information Crystallography
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org
·
15h
🧮
Theorem Proving
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Slip – A Lisp System in JavaScript
lisperator.net
·
5h
·
Discuss:
Hacker News
🔗
Lisp
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org
·
15h
⛪
Church Encoding
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
LINQ and Learning to Be Declarative
nickstambaugh.dev
·
1d
·
Discuss:
Hacker News
🔗
Concatenative Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Neuro-Symbolic AI
en.wikipedia.org
·
4h
·
Discuss:
Hacker News
🔲
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Atomic and Saturated Models
functor.network
·
6d
·
Discuss:
Hacker News
🔢
Denotational Semantics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com
·
5h
·
Discuss:
Hacker News
🌐
Protocol Synthesis
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Has anyone tried csprimer and have any reviews on it?
csprimer.com
·
5h
·
Discuss:
Hacker News
💻
CS
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
In-Depth Analysis: "Attention Is All You Need"
dev.to
·
3h
·
Discuss:
DEV
🧠
Intelligence Compression
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
Page 2 »